/**
 * <copyright>
 * </copyright>
 *

 */
package br.ufpe.cin.plp.eseml;

import org.eclipse.emf.ecore.EObject;

/**
 * <!-- begin-user-doc -->
 * A representation of the model object '<em><b>Hypothesis</b></em>'.
 * <!-- end-user-doc -->
 *
 * <p>
 * The following features are supported:
 * <ul>
 *   <li>{@link br.ufpe.cin.plp.eseml.Hypothesis#getId <em>Id</em>}</li>
 *   <li>{@link br.ufpe.cin.plp.eseml.Hypothesis#getLeftOperand <em>Left Operand</em>}</li>
 *   <li>{@link br.ufpe.cin.plp.eseml.Hypothesis#getEqualitySignal <em>Equality Signal</em>}</li>
 *   <li>{@link br.ufpe.cin.plp.eseml.Hypothesis#getHypothesisRightOperand <em>Hypothesis Right Operand</em>}</li>
 * </ul>
 * </p>
 *
 * @see br.ufpe.cin.plp.eseml.EsemlPackage#getHypothesis()
 * @model
 * @generated
 */
public interface Hypothesis extends EObject
{
  /**
   * Returns the value of the '<em><b>Id</b></em>' attribute.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Id</em>' attribute isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>Id</em>' attribute.
   * @see #setId(String)
   * @see br.ufpe.cin.plp.eseml.EsemlPackage#getHypothesis_Id()
   * @model
   * @generated
   */
  String getId();

  /**
   * Sets the value of the '{@link br.ufpe.cin.plp.eseml.Hypothesis#getId <em>Id</em>}' attribute.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>Id</em>' attribute.
   * @see #getId()
   * @generated
   */
  void setId(String value);

  /**
   * Returns the value of the '<em><b>Left Operand</b></em>' containment reference.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Left Operand</em>' containment reference isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>Left Operand</em>' containment reference.
   * @see #setLeftOperand(HypothesisLeftOperand)
   * @see br.ufpe.cin.plp.eseml.EsemlPackage#getHypothesis_LeftOperand()
   * @model containment="true"
   * @generated
   */
  HypothesisLeftOperand getLeftOperand();

  /**
   * Sets the value of the '{@link br.ufpe.cin.plp.eseml.Hypothesis#getLeftOperand <em>Left Operand</em>}' containment reference.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>Left Operand</em>' containment reference.
   * @see #getLeftOperand()
   * @generated
   */
  void setLeftOperand(HypothesisLeftOperand value);

  /**
   * Returns the value of the '<em><b>Equality Signal</b></em>' attribute.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Equality Signal</em>' attribute isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>Equality Signal</em>' attribute.
   * @see #setEqualitySignal(String)
   * @see br.ufpe.cin.plp.eseml.EsemlPackage#getHypothesis_EqualitySignal()
   * @model
   * @generated
   */
  String getEqualitySignal();

  /**
   * Sets the value of the '{@link br.ufpe.cin.plp.eseml.Hypothesis#getEqualitySignal <em>Equality Signal</em>}' attribute.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>Equality Signal</em>' attribute.
   * @see #getEqualitySignal()
   * @generated
   */
  void setEqualitySignal(String value);

  /**
   * Returns the value of the '<em><b>Hypothesis Right Operand</b></em>' containment reference.
   * <!-- begin-user-doc -->
   * <p>
   * If the meaning of the '<em>Hypothesis Right Operand</em>' containment reference isn't clear,
   * there really should be more of a description here...
   * </p>
   * <!-- end-user-doc -->
   * @return the value of the '<em>Hypothesis Right Operand</em>' containment reference.
   * @see #setHypothesisRightOperand(HypothesisRightOperand)
   * @see br.ufpe.cin.plp.eseml.EsemlPackage#getHypothesis_HypothesisRightOperand()
   * @model containment="true"
   * @generated
   */
  HypothesisRightOperand getHypothesisRightOperand();

  /**
   * Sets the value of the '{@link br.ufpe.cin.plp.eseml.Hypothesis#getHypothesisRightOperand <em>Hypothesis Right Operand</em>}' containment reference.
   * <!-- begin-user-doc -->
   * <!-- end-user-doc -->
   * @param value the new value of the '<em>Hypothesis Right Operand</em>' containment reference.
   * @see #getHypothesisRightOperand()
   * @generated
   */
  void setHypothesisRightOperand(HypothesisRightOperand value);

} // Hypothesis
